#include<bits/stdc++.h>
using namespace std;
char num[7];
int res;
int transfer(char s){
    if (s=='K') return 13;
    else if (s=='Q')
    {
        return 12;
    }else if (s=='J')
    {
          return 11;        /* code */
    }
    else if (s=='A')
    {
        return 1;
    }else return s-'0';
    
}
int flag = 0;
void dfs(int depth){
    if (flag==1) return ;
    if (depth==7)
    {
        if (res==42)
        {
            cout<<"YES";
            flag  = 1;
        }
        return ;
    }
    for(int i=0;i<4;i++){
        switch (i)
        {
        case 0: //+
           {
               res += transfer(num[depth]);
               dfs(depth+1);
               res -= transfer(num[depth]);
               break;
           }
            
        case 1://-
            {
                 res -= transfer(num[depth]);
                  dfs(depth+1);
               res += transfer(num[depth]);
               break;
            }
        case 2://*
        {
            res *= transfer(num[depth]);
            dfs(depth+1);
               res /= transfer(num[depth]);
        }

            break;
        case 3:// /
        {
             res /= transfer(num[depth]);
            dfs(depth+1);
              res *= transfer(num[depth]); 
            break;
        }
        default:
            break;
        }
    }
    
}
int main()
{
    
    for(int i=0;i<6;i++){
        cin>>num[i];
    }
    dfs(0);
    if (flag==0)
    cout<<"NO";
    
    return 0;
}

















